TIMEOUT

We are left with following problem, upon which TcT provides the
certificate TIMEOUT.

Strict Trs:
  { append(nil(), ys) -> ys
  , append(::(x, xs), ys) -> ::(x, append(xs, ys))
  , lt(0(), 0()) -> false()
  , lt(0(), s(y)) -> true()
  , lt(s(x), 0()) -> false()
  , lt(s(x), s(y)) -> lt(x, y)
  , bubblesort(nil()) -> nil()
  , bubblesort(::(x, xs)) -> bubblesort'(bubble(::(x, xs)))
  , bubble(::(x, nil())) -> pair(nil(), x)
  , bubble(::(x, ::(x', xs))) -> bubble'(lt(x, x'), x, x', xs)
  , bubblesort'(pair(xs, x)) -> append(bubblesort(xs), ::(x, nil()))
  , bubble'(false(), x, x', xs) -> bubble''(x', bubble(::(x, xs)))
  , bubble'(true(), x, x', xs) -> bubble''(x, bubble(::(x', xs)))
  , bubble''(x, pair(xs, x')) -> pair(::(x, xs), x') }
Obligation:
  innermost runtime complexity
Answer:
  TIMEOUT

Computation stopped due to timeout after 300.0 seconds.

Arrrr..